Perhaps the Trump DOD will do just that.
Wonder what Castro would have twitted if Trump had died.....