Interesting the theme of naming masks after islands: Ceylon, Bermuda, Ibiza, Madeira, Canaries, and Antilles. Could Majorica have been meant to allude to Mallorca, another of Balearics along with Ibiza? I wonder if there was one named after the Azores?
Interestingtly, long before Columbus'...