Coast Guard: 11 injured in platform explosion in the Gulf of Mexico