We were informed that John Edgar Bush died on 1 June 2015.