Public [joint] resolution 17-20, 72d Congress. Porto Rico. S. J. Res. 36, joint resolution to change name of island of Porto Rico to Puerto Rico.