President Donald Trump was not in the White House at the time.