How many years did the author of Lone Survivor spend in the navy?