Possible effects of shipping routes on coral reef degradation and diversity in Karimunjawa Marine National Park, Java Sea (BioRisk, 2024)