Where does “Gibraltar” come from?

Gibraltar derives from Arabic جَبَل طَارِق, a name meaning "mountain of Tariq" that was applied to the rock by Arab forces during their conquest of the Iberian Peninsula.