Fasilitas wisata bahari dan budidaya terumbu karang di pantai Koka, Flores, NTT - MARIANUS FERDINAN RAYON (Universitas Kristen Petra, 2014)