Obviously you have never been in the military, or otherwise you would know when children of military are born overseas at military hospitals they are automatically US citizen. He was born at the Naval Station, which made him automatically a US citizen
Maybe not, but I did sleep at a Holiday Inn Express last night.