Battle ships arrive at harbor in veracruz, mexico in what year?