I think its safe to value bet the K on the river the way the hand was played. I would be more likely to check if the A came on the river because there would be more 2 pair possibilities,he could of limp called with AQs,A8s and A4s.