WASHINGTON, DC - OCTOBER 09: U.S. President Donald Trump applauds 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 salutes as he arrives for 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 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)

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 (L) speaks alongside Christopher Macchio 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 (L) speaks alongside Christopher Macchio 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 (L) greets Christopher Macchio as he arrives to 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)