One of Puerto Rico's oldest and best hotels