Tater Tot Hotdish Recipe

Ingredients (9)

• 1 tablespoon salted or unsalted butter
• 2 pounds ground beef, any kind
• 1 large yellow onion, chopped (about 1 cup)
• 1 1/2 teaspoons kosher salt, plus more to taste
• 1 1/2 teaspoons freshly ground black pepper, plus more to taste
• 16 ounces mixed frozen or canned vegetables (green beans, corn, peas, and/or carrots)
• 2 (14-ounce) cans cream of mushroom soup
• 24 ounces frozen Tater Tots
• Ketchup, for serving (optional)