Ceylon trong Chiến tranh thế giới thứ hai