In 1958, Eisenhower gave every government employee leave in D.C. to greet Nixon after he returned from Venezuela, did this apply to essential employees? How was this handled?