Instant Pot Vietnamese Pork Stew

Name: Instant Pot Vietnamese Pork Stew
Ingredients: 1 tablespoon coconut oil (avocado oil, or ghee); ¼ cup thinly sliced shallots; ¼ pound shiitake mushrooms (stemmed and cut in half (or into quarters if large)); 3 quarter-sized slices peeled fresh ginger; 4 garlic cloves (smashed and peeled); 3 pounds pork shoulder (cut into 2-inch cubes); 1 cup coconut water; 3 tablespoons fish sauce (and more to taste); 3 large carrots (peeled and cut into ½-inch diagonal slices); ½ cup fresh cilantro leaves; 3 scallions (thinly sliced)