Progressively Type-II right censored order statistics from discrete distributions