Finding the Proverbial Needle in the Coastal Ocean: Automated Reasoning in Marine Robotics