Asian elephants are typically 2.1 feet shorter than African elephants. If an Asian elephant were 9.4 feet tall, how tall would an African elephant be? Show your work.