How many ships did Greece's navy have in the late 1970s