The Pentagon is set to invest approximately $1.2 billion to maintain ships deployed in operations in the Red Sea and to replenish missile stocks used to counter attacks from Iran and its proxies, according to newly released budget documents.