El desmantelamiento de la escuela republicana en el Campo de Gibraltar: La depuración del personal docente durante el curso 1936-1937