Trivia Question

Which US President introduced a holiday to mark the life of Martin Luther King?