Pressure Cooker Korean Beef

Got a pressure cooker and some Gochujang sauce for this tender beef recipe?