To those questioning CASTLE ROCK
https://en.m.wikipedia.org/wiki/Secret_Service_code_name
CASTLE is USSS codename for WH
CASTLE CROWN is USSS codename for the Executive Mansion
CASTLE ROCK? My guess would be tunnels underneath WH
Or the bunker
Get em Q & team