Pentagon cancels Trump-era border wall construction paid for by military funds