Question: What are the names of the students who joined the Marines?
SQL: SELECT name FROM enlist WHERE organ = 'marines'