Unless they have been specifically made available for the purpose, funds appropriated for the repair or alteration of naval vessels may not be used to make repairs or alterations of any vessel that would change its category or type.