map of ports in Asia (1719)