The overtime rule would have made more than 4 million workers newly eligible to earn overtime on Jan. 1. Then a federal judge ...