Instant Pot Lamb Shanks

INSTANT POT LAMB SHANKSMARINADE:2 T. olive oil2 T. tomato paste1 t. paprika1 t. Italian seasoning1 t. cumin seeds1 t. Kosher salt1 t. black pepperLAMB SHANKS:2 T. olive oil3 lamb shanks, trimmed of excess fat1 large onion, diced2 carrots, diced2 celery…