WSJ's Daniel Michaels joins a Spanish warship for NATO military exercises as the alliance tries to show President Trump it can ...