The fortress of San Juan de Ulúa in the Port of Veracruz