when did the portuguese come to sri lanka