The Texas City Disaster, 1947