The battle of San Jacinto is usually pronounced with a hard j like in "jump," even though in Spanish, it would be pronounced like "h." How would the people fighting in the battle have pronounced "San Jacinto?" When did pronunciation shift?