10 cup water 2 pound pork hocks 2 carrots, cut into thirds 3 stalks celery, cut up 1 medium onion, cut in half ¼ cup fresh thyme sprigs, loosely packed 3 bay leaves 3 cloves garlic, minced