The movie has been shot, and everyone's goal is for box office success, so naturally, they hope everything goes smoothly.
For this film, Spielberg was quite bold, using a number of actors who aren't very famous. For example, the guy playing the strongman Johnson on the battleship is actually a non-professional actor—a former wrestler and football player who achieved quite outstanding results in both sports, earning a slew of awards.
Coincidentally, this actor's name is also Johnson, Dwayne Johnson. His name in the World Wrestling Federation is The Rock, so he's also known as Rock Johnson—nowadays, Johnson doesn't have the massive physique he would later have, and his muscles aren't that intimidating yet. Plus, he still has hair on his head, making him look quite handsome (yes, when they first named the leader of the sailors fleet Johnson, it was based on his later image).