Virginia already got their part back. It is now Arlington. Rest of it belongs to Maryland except for federal buildings.
Sorry, shouldn’t post with a headache.