How much was the US government ordered to pay in damages?