According to the WP article https://en.wikipedia.org/wiki/Laputa https://en.wikipedia.org/wiki/Laputa it's close enough that various Spanish-language editions o

According to the WP article https://en.wikipedia.org/wiki/Laputa https://en.wikipedia.org/wiki/Laputa it's close enough that various Spanish-language editions of Gulliver's Travels have altered the word to something else (though a citation is lacking). (It's almost certain that Swift was fully aware of the meaning, by the way, especially since we can be sure that he'd read the Apocalypse of John.)