Beef Chili with Masa Harina in an Electric Pressure Cooker

Name: Beef Chili with Masa Harina in an Electric Pressure Cooker
Ingredients: 5 Tbs. vegetable oil; 3 lb. beef chuck, ground for chili; 3 large yellow onions, finely chopped; 8 garlic cloves, minced; 1 jalapeño chili, seeded and finely chopped; 1/2 cup chili powder; 2 Tbs. ground cumin; 1 Tbs. ground oregano; 2 tsp. ground coriander; 1 cup lager-style beer; 1 cup beef stock; 1 can (28 oz.) crushed tomatoes; 1 can (15 oz.) kidney beans, rinsed and drained; 1 can (15 oz.) pinto beans, rinsed and drained; 3 Tbs. masa harina; Salt and freshly ground pepper, to taste