Somewhere in America, there’s a Secret Service agent grateful that his new code name isn’t “Peter Pan”.