Pentagon chief, Saudi deputy crown prince discuss fight against Islamic State