Bendera Amerika Serikat dikibarkan menjadi setengah tiang di atas kapal USS George H.W. Bush pada 1 Desember 2018.