what world record has the 188kg as 187kg?
olympic record