#SergioRamos: “Mourinho is a great coach and we have been lucky to have had him. We're happy with him."