The New International Encyclopædia/San Jacinto, Battle of

