Should the U.S. Navy use dolphins to detect underwater mines?