Ports bonds maturing in 2027 were down 1.6 cent to 88.98 cents on the dollar, having lost nearly 7 cents in face value