With Last-Minute Trump Rule, Restaurants Could Pay Less to Tipped Workers