Pressure cooking brisket ketchup