“The largest town in Java is called Magepaher, whose king is the greatest of any on the island and is called Raia Patimus.’ Magepaher is, of course, Majapahit.”