OK lawmakers push to end military covid vaccine mandate