HSVI can solve zero-sum Partially Observable Stochastic Games