Laying Down the Law in Ferragosto: The Roman Visit of Theodosius in Summer 389