1 cup chopped onion (1 large) 3 cloves garlic, minced 1 tablespoon olive oil 6 cup coarsely chopped, seeded tomatoes 1 teaspoon salt ½ teaspoon ground black pepper ¼ teaspoon crushed red pepper