George Anson's voyage around the world — circumnavigation by George Anson and eight other ships