Irish Beef Stew with Mashed Potatoes

Name: Irish Beef Stew with Mashed Potatoes
Cuisine: European, British
Ingredients: 1 Tablespoon olive oil; 1 lb. chuck roast, trimmed and cut into cubes; 1 yellow onion, diced; 4 large carrots, peeled and chopped; 2 cloves garlic, minced; 1 teaspoon kosher salt; 1/2 teaspoon freshly ground black pepper; 1 teaspoon thyme; 1 teaspoon crushed rosemary; 2 bay leaves; 2 cups beef broth; 2 Tablespoons butter, softened; 2 Tablespoons flour; Heaping 1/3 cup frozen peas; Hot cooked mashed potatoes, try my Light 'n Creamy Garlic Mashed Potatoes