NavList thread: US DoD Survey about Leap Seconds