User: Where does the name Gibraltar come from?
Assistant: The name comes from the arabic meaning the mountain of Tarik