"The U.S. Navy is shrinking the size of its 1970s-era shipboard computers"