Student swimming in pool at sports recreation complex.