The Washington gazette, 1880 May 7