Jacinto was said to have been named after the battle of San Jacinto in 1836. This might not be the case, though, Jacinto is shown on an historical map dated 1833.
