Seems like we’re not entirely sure, but the most widely-accepted theory is that Portuguese sailors heard a Sinhala name and got it a little muddled when telling others Europeans about it

One British guy who got captured there while working for the East India Company wrote that it was this, except for that Europeans intentionally named it after Christopher Columbus because it already sounded really similar