Nine people were injured, one critically, when a tornado tore through a trailer park in a northwestern North Dakota county that is part of the state's oil boom, an official said.