Robert,
That would be right, the old George Washington Bridge (1986 / 42000) was renamed West Gate Bridge to free up the name for the new building. This is quite a regular occurence with K line and some others who like to give their ships names commensurate with the services they are on, the older vessel being moved to a different service and replaced by the newbuild.
Regards,
Richard.