map of ports in Asia (1720)