Produk domestik regional bruto Kabupaten Manggarai menurut lapangan usaha (Badan Pusat Statistik (BPS) Kabupaten Manggarai, 2017)