¿Qué sabemos de la detención de "dos magrebíes" que portaban una pistola en la Puerta del Sol?