Looks like Purdue observes holiday on MLK day- https://www.purdue.edu/hr/Benefits/currentEmployees/leaves/holidays.html