מחוז ירושלים, מדינת ישראל