Tom Lehrer's prank on the NSA that waited 60 years to be discovered