The unidentified assailant was later shot and killed by campus police.