20180716 world.europe: Croatian leader says Trump; Putin key to peace