Broccoli Red Pepper and Cheddar Chowder

Name: Broccoli, Red Pepper, and Cheddar Chowder
Ingredients: 1 small head broccoli (1/2 pound); 1 large boiling potato (1/2 pound); 1 large onion, chopped; 1 red bell pepper, cut into 1/2-inch pieces; l large garlic clove, finely chopped; 2 tablespoons unsalted butter; 1 teaspoon ground cumin; 1 teaspoon salt; 1/4 teaspoon black pepper; 1/2 teaspoon dry mustard; 2 tablespoons all-purpose flour; 3/4 cup heavy cream; 6 oz sharp Cheddar, coarsely grated (1 1/2 cups)