Well, yeh the Marine Guard stays right there by the door. They do shifts, and are always there, if he is in the Oval Office, but yet none was there during that time period. That’s why the reporters thought he had maybe sneaked off to the Middle East or something.
Oh well, Life goes on.
One of my DC(entrenched) observers is reporting the Trump ordered the Marines to take the time off to be with family. Unconfirmed.