Irish banking assistance rises to record €187bn