Some US Navy ships were using Windows XP in 2017.