spanish mariano rajoy with a k. o. against mike tyson