I, for one, will be proud -if I ever go to that part of the worlds and see the new “Sea of the Martyr” to take a dump in it.
Google Maps will be first to publish the name change.