The record for the fastest sending off in football history (all leagues) is?