Heat pressure cooker. Add shortening; brown steak. Add remaining ingredients. Close cover securely. Place pressure regulator on vent pipe. Cook for 15 minutes (I think maybe this was a little too long...either that or my pressure cooker just took to long to get up to pressure). Let pressure drop of its own accord. Remove bay leaf. Thicken gravy, if desired.