A Naval Biographical Dictionary/Woodruff, Henry