Josip Torbar i zagrebački potres 9. studenog 1880.