A história de Tanque do Piauí está relacionada a uma localidade conhecida como Tanque Velho. Segundo o registro histórico do município, qual acontecimento deu origem ao nome Tanque?