Government gazette / East India Company Prince of Wales Island, Singapore, and Malacca