WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump salutes as Christopher Macchio (R) performs during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Kevin Dietsch/Getty Images)

WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump delivers remarks during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Tierney L. Cross/Getty Images)

US President Donald Trump speaks during a Columbus Day celebration in the East Room of the White House in Washington, DC, on October 9, 2026. (Photo by Alex WROBLEWSKI / AFP via Getty Images)

US President Donald Trump speaks during a Columbus Day celebration in the East Room of the White House in Washington, DC, on October 9, 2026. (Photo by Alex WROBLEWSKI / AFP via Getty Images)

WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump delivers remarks during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Kevin Dietsch/Getty Images)

WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump delivers remarks during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Kevin Dietsch/Getty Images)

WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump delivers remarks during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Tierney L. Cross/Getty Images)

WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump (L) speaks alongside Commissioner of the U.S. Social Security Administration Frank Bisignano during a Columbus Day event in the East Room of the White House on October 09, 2026 in Washington, DC. The U.S. celebrates Columbus Day on Monday, October 12. (Photo by Kevin Dietsch/Getty Images)