Royal colleges and the Imperial Institute merged to form what is now Imperial College London