Daily chess puzzle: Check Mate #466

Another puzzle from Dragoslav Andric’s 1981 book “Matni Udar”.  
White to play and mate Black

Macukevič v Tuček, 1979
Solution 
Quite nice, since the first move, 1 Re8+! is hard to see. 
Once seen, it all falls into place. If the king captures, then the N discovers an attack on the LPDO Qh5. 

If the rook captures, then it is mate on the back rank, most prettily by a smothered mate.

FEN 
5rkr/pp2Nppp/1n6/2p4q/8/1PP3P1/P4P1P/R1B3K1 b – – 0 1