distrikt hädanefter skall omfatta brittiska besittningarna Straits Settlements , eller Singa pore , Penang och Malacca.