'$7.4M for High-Resolution Sonar Mine Detectors