A Danish attack on England in 1138 and its historiographical aftermath