OSHA checking death of worker at Desoto Civic Center