William Herndon (naval officer)