( Ceylon — East Indies.