which propulsion system powers the thunder mountain railroad at busch gardens?
(AND amusement_parks.roller_coaster_propulsion_system (JOIN amusement_parks.roller_coaster_propulsion_system.roller_coasters m.04s4p6))