As played I think river is a clear check. He should bluff fairly often on the ace, and he might even level himself into calling a c/r with AK.
However I think donking turn + river is an even better line. We have so few combos of trips and full houses so villain can put us on 56s, A5s, etc and call down with A high.
After all is said and done, more is said than done.