August 1: when the unemployment runs out and a new era of US labor battles begin