new attribute SpaceStation.numShipsDocked