Martin Luther King Jr. Day: The basics

What you need to know about the national holiday celebrating the civil rights leader.