Instant Pot Taiwanese Beef Noodle Soup

bone-in beef shank

large onion, (quartered)

tomatoes, (quartered)

peeled garlic cloves

piece of large ginger, (sliced into large thin pieces)

soy sauce

shaoxing wine (Chinese cooking wine)

star anise

cinnamon sticks

fennel seed

ground clove

ground cumin

dried Thai red chilies, (optional)

Asian noodles, (depends on how much soup vs. noodle ratio you like)

Green onions, for topping