Is the Gulf of Alaska the name of the Gulf south of Alaska?

Yes it is.