Here's a pretty fair documentation of how the holiday came about, without directly addressing the controversial history surrounding the man himself: The Origins and Traditions of Columbus Day