Mort de John Paul Jones, marin et héros de la Guerre d'indépendance des États-Unis, fondateur de l'U.S. Navy