The modal logic of the consistency assertion of Peano Arithmetic