However, the basement had been converted into a library, where at least 20 students were reportedly present during the flooding.