my local community college's mascot is basically charlie kirk