U.S. Navy dolphins hunt mines during exercise