Colegio Gerardo Diego, y los niños con su disfraz de Mario Bros