Should Marcos be buried at the Heroes Cemetery?