I am unsure about red castle being the Corp of Engineers now based on that previous post. Maybe double meaning is possible but I'm lost.
Yea I know, also in greencastle, pa. But I'm just not positive based on the previous mention of red castle. Maybe it will be clarified later.