Sea ice studies at the U.S. Navy Electronics Laboratory (Polar Record, 1955)