Note 131
This miracle was skilfully performed. An Arian king sealed the doors and dug a deep trench round the church without being able to intercept the Easter supply of baptismal water.
The History Of The Decline and Fall Of The Roman EmpireVolume 1Chapter 37