After a record 250 days at sea, the USS Abraham Lincoln has docked in Thailand close to the city of Pattaya. Known for its raucous nightlife and sex tourism, the BBC's South East Asia correspondent Jonathan Head explains the history between US troops and the beach resort.