Courtyard just inside the El Morro front gate. Flags of US, Puerto Rico, and Spain.