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