For the Marinade: For the Pico de Gallo: For Serving: Slice the steak across the grain and into thin strips. Peel the onion and cut it in half lengthwise. Thinly slice half of the onion. Chop the other half and set it aside for the pico de gallo. In a nonreactive bowl or the Instant Pot inner…