I used MicroDem in the past for this but found using earthexplorer from USGS to be a bit quicker. Although the resolutions aren’t always super great