Redondo Beach’s King Harbor Marina sold