Large valley splitting in monolayer WS 2 by proximity coupling to an insulating antiferromagnetic substrate