An index of risk of co-occurrence between marine mammals and watercraft: Example of the Florida manatee