Produk domestik regional bruto kabupaten/kota di Indonesia : Gross regional domestic product of regencies/municipalities in Indonesia (Badan Pusat Statistik, 2018)