– 6 ½ cups water, divided – 1 pound bone-in beef shank – 5 cloves garlic, smashed – 2 bay leave – 1 ½ teaspoons sea salt – 2 medium carrots, sliced into thick coin – 1 ear of corn, shucked and quartered – 8 baby yellow potatoes, cut in half – ¼ cup cilantro, plus more for serving – 2 teaspoons tomato paste – 1 lime quartered, for serving – Optional Ingredient – Hot sauce, for serving