Abundance of manatees in Panama estimated from side‐scan sonar. (11th August 2017)