Easy Instant Pot Chili Mac

Name: Easy Instant Pot Chili Mac
Ingredients: 1 lb ground beef; 1/2 large onion, diced; 2 cups water; 1 beef bouillon cube or 1 teaspoon beef bouillon base; 28-oz can petite diced tomatoes; 15-oz can tomato sauce; 15-oz can kidney beans, drained; 2 tsp Italian seasoning; 2 tsp chili powder; 2 bay leaves; 1 tsp seasoned salt; 1/2 tsp black pepper; 2 cups (8 oz) elbow macaroni, uncooked; 1 cup shredded mozzarella or cheddar cheese (I recommend that you shred it yourself for better melting); Optional: additional shredded cheese for topping