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

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