Sagres: 230501_update

The Navigator Encyclopedia function has been added. You can now see which navigators are deployed in any city you know. - After discovering the southern tip of Africa, a message to guide deck setting has been added. -Fi…