Which U.S. President signed the law making Martin Luther King Jr. Day a national holiday?

History Trivia: Which U.S. President signed the law making Martin Luther King Jr. Day a national holiday?