A person who is eligible for benefits through the WRS.