Cook and stir until crisp-tender, 3-5 minutes. Stir in softened beans, 8 cups water, carrot, bay leaves, thyme and pepper. Add ham hocks. Bring to a boil. Reduce heat; cover and simmer for 1-1/4 to ...