Probably. They sold missile tech, fighter tech, computer tech. Why not naval tech too? (Odds are, they did.)