“Los niños verdes de Banjo”, ¿pasó realmente o es una leyenda?