Where is get_header(‘shop’) file in Woocommerce templates

I need to modify the get_header(‘shop’) file in Woocommerce but don’t know where it’s located, if someone knows please help me out – thanks!

get_header( $name ) is a WordPress function, that will try to load the file header-{$name}.php from your theme’s root folder. If this file doesn’t exist, WordPress will load the default header.php file.