Deletion of Miguel de Benavides Library

Comment: the library has a long history which has significance outside the university. It is a repository of important Spanish colonial era documents as noted by third-party 
Stance: keep
Cited policy: Wikipedia:Reliable sources (WP:RS)