Atención jubilados: ¿qué va a pasar con el bono de julio? ¿Se paga o no?