Piscina del Colegio Mayor Hernando Colón, Universidad de Sevilla/Swimming pool of the university residence "Hernando Colon", University of Seville