Martin Luther King Jr Day 2023: Who was the civil rights leader and how is the holiday celebrated?

---

---