The justice department has also asked for Trump's name to be put back on the building after it was removed in June following a court order.

This story was reported by BBC News. Read the full coverage at BBC News.