Idrisi and Copernicus, Gama and Ibn Majid