What If a Worker Is Injured by a Concrete Pump Hose?