Red Beans and Pork Chops

INGREDIENTS

• 1 pound dried red beans
•  
• 1 onion, chopped
• 2 tablespoons minced garlic
• 1 (14.5 ounce) can diced tomatoes with green chile peppers
• 1 bay leaf
• 1 teaspoon dry crab boil
• 1/4 teaspoon celery salt
• 1/4 teaspoon crushed red pepper flakes
• 1 smoked ham hock
• salt and pepper to taste
• 4 (4 ounce) boneless pork chops