NBC: Thai warship sinks in rough seas; navy searching for 31 sailors