Pulo Gadung — district in East Jakarta City, Jakarta Province, Indonesia