Neither Congress nor the president have ever stipulated that the name of the holiday observed as Washington's Birthday be changed to Presidents' Day, according to the National Archives.

President Trump announced he is pausing U.S. tariffs targeting imports from Mexico for a month after the country's president ...