Books about Navigation -- History (sorted alphabetically)