Ibnu Majid, Penemu Kompas yang Bantu Vasco da Gama Temukan Tanjung Harapan Afrika