Why did the Monarchs of Castile, Leon, and Aragon sponsor Columbus's supposed first voyage to East Asia despite the fact that it would've been well known amongst educated people at the time that the earth was bigger than Columbus thought?