his grave is in the cathedral of saint mary in madrid