I think THB was one of the obvious sales to make & I agree he didn’t have a good season (not many did) - but losing one for the championships best defenders isn’t ideal.
Assuming it’s true (& Nixon is patchy) and their first bid was 20m, 25m shouldn’t be too much of a problem for Porto to reach. You’d have thought the Portuguese media would be all over it.