A firefighting robot named Colossus helped 400 firefighters battle a blaze at Notre Dame