Workers restoring the rotunda of the US Capitol in Washington, DC