The closing of the old red lion public house