Instant Pot Pork Tamales

For the Pork Filling:

pork butt or shoulder, rough chopped

head of garlic

onion

dried chile ancho stems and seeds removed

whole cumin

Salt and pepper

Pork broth (reserved from the cooking)

For the Masa Dough:

lbs of prepared masa

red chile sauce (reserved from the pork filling)

corn husks

Water