Monday, Oct. 13 is Columbus Day, a national holiday. There will be no incoming or outgoing U.S. Postal Service mail in observance of the holiday. Delivery and pick-up of intra-campus mail will be as usual. Normal mail service will resume Tuesday.