If he was born on a U.S. military base, he’s a U.S. citizen.
Doesn’t matter a whit were he was born, only that he was born to US Citizens.