Nevertheless, David took the stronghold of Zion, that is, the city of David.