Castillo de los Tres Reyes del Morro: Patio de banderas