Yes so his default option was to return to the US and face arrest so he applied for asylum (as a US citizen still)