7 But David took the stronghold of Zion, which is the city of David.