Proses pembangunan Gedung Thomas Jefferson (8 Juli 1888 hingga 15 Mei 1894).