A Naval Biographical Dictionary/Nicholls, Thomas Willcocks