guinness cOttage pie

Name: guinness cOttage pie
Ingredients: 2 tbsp extra virgin olive oil; 1 large red onion, chopped; 4 cloves garlic, sliced; 5 carrots, chopped; 3 celery stalks, chopped; 2 lbs ground chuck; 1 ½ tsp anchovy paste; 2 tsp fresh thyme leaves, chopped; 1 sprig fresh rosemary, leaves chopped; 2 tbsp tomato paste; 11.20 oz Guinness Draught Stout; 14 oz crushed tomatoes; 1 ½ cups beef broth; 2 tbsp Worcestershire sauce; freshly ground black pepper; ½ cup frozen peas; 2 lbs idaho potatoes, peeled and cut into 1-inch cubes; kosher salt and freshly ground black pepper; ½ cup extra virgin olive oil; 4 tbsp unsalted butter