District says extra police are on campus, no danger to students