Where does the name Gibraltar come from?

The name comes from the arabic meaning the mountain of Tarik