‘He was an eminent jurist’ — Buhari mourns Bola Ajibola