John Mackintosh — Gibraltarian philanthropist and benefactor