Pressure cooking short ribs