Mining the Logs: U.S. Navy in the Mexican War?