internal void UpdateShipsCore() { ShipIDs = new HashSet<int>(Ships.Values.Select(r => r.Info.ID)); OnPropertyChanged(nameof(Ships)); }