Sea charts of the early explorers: 13th to 17th century