Arsenal de la Marina, San Juan, Puerto Rico.