Pedro, 20, of West Liberty, went to a routine annual immigration check-in on July 1—abiding by what the government is asking ...