Aquino on US carrier where Bin Laden buried at sea