MANILA — Almost as soon as the initial reports of a shark attack near Isla Verde in the Verde Island Passage were out, members of the diving community were posting about how unlikely that was ...