Amy Gleason wird von der US-Regierung als offizielle Chefin des Doge genannt.