I’ve already seen Donald Duck several times, so I’ll go see other things.” Petro is not thought to have met Trump, although he visited the White House in 2023 to meet then-President Joe Biden.