Martin Luther King Jr.'s Birthday Observance - District Holiday