businessRecord high for US stock marketNew signs of life in the manufacturing sector helped push the US stock market to a record high today.