Whale sharks declared protected species under the Environmental Protection and Preservation Act November 7, 2023