Interestingly, public reports of K-4 being tested in 2016, even from an underwater pontoon, are unclear! The articles, from Wikipedia or elsewhere, make it sound like any test at all of the K-4 is not 100 percent certain. So it's heartening to hear that it was tested in early 2016.