Leaving WRS employment permanently at a retirement age (termination) and receiving a WRS retirement benefit.