Statements of Operations - USD ($)	3 Months Ended	6 Months Ended	11 Months Ended	12 Months Ended
Jun. 30, 2019	Jun. 30, 2018	Jun. 30, 2019	Jun. 30, 2018	Dec. 31, 2017	Dec. 31, 2018
Income Statement [Abstract]
Revenue	$ 0	$ 0	$ 0	$ 0	$ 0	$ 0
Professional fees, formation costs and other expenses	4,415,081	166,288	4,575,958	454,888	376,372	804,050
Loss from operations	(4,415,081)	(166,288)	(4,575,958)	(454,888)	(376,372)	(804,050)
Interest income	2,571,416	1,801,259	5,105,671	3,216,244	0	7,669,551
Net (loss) income attributable to ordinary shares	$ (1,843,665)	$ 1,634,971	$ 529,713	$ 2,761,356	$ (376,372)	$ 6,865,501
Net (loss) income per ordinary share:
Basic and diluted	$ (0.03)	$ 0.03	$ 0.01	$ 0.05	$ (0.01)	$ 0.12
Weighted average ordinary shares outstanding:
Basic and diluted	56,250,000	56,250,000	56,250,000	56,250,000	37,038,941	56,250,000

The amount of net income or loss for the period per each share in instances when basic and diluted earnings per share are the same amount and reported as a single line item on the face of the financial statements. Basic earnings per share is the amount of net income or loss for the period per each share of common stock or unit outstanding during the reporting period. Diluted earnings per share includes the amount of net income or loss for the period available to each share of common stock or common unit outstanding during the reporting period and to each share or unit that would have been outstanding assuming the issuance of common shares or units for all dilutive potential common shares or units outstanding during the reporting period.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 260
-SubTopic 10
-Section 45
-Paragraph 7
-URI http://asc.fasb.org/extlink&oid=109260490&loc=d3e1337-109256

+ Details

Name:	us-gaap_EarningsPerShareBasicAndDiluted
Namespace Prefix:	us-gaap_
Data Type:	num:perShareItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_EarningsPerShareBasicAndDilutedAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of income (loss) from continuing operations, including income (loss) from equity method investments, before deduction of income tax expense (benefit), and income (loss) attributable to noncontrolling interest.

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 940
-SubTopic 20
-Section 25
-Paragraph 1
-URI http://asc.fasb.org/extlink&oid=68072869&loc=d3e41242-110953

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(10))
-URI http://asc.fasb.org/extlink&oid=115205541&loc=SL114868664-224227

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 944
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.7-04(8))
-URI http://asc.fasb.org/extlink&oid=114873790&loc=SL114874131-224263

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 250
-SubTopic 10
-Section 50
-Paragraph 11
-URI http://asc.fasb.org/extlink&oid=109234566&loc=d3e22694-107794

Reference 5: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04(15))
-URI http://asc.fasb.org/extlink&oid=114873765&loc=SL114874048-224260

+ Details

Name:	us-gaap_IncomeLossFromContinuingOperationsBeforeIncomeTaxesExtraordinaryItemsNoncontrollingInterest
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_IncomeStatementAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

The net amount of operating interest income (expense).

+ References

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 942
-SubTopic 220
-Section S99
-Paragraph 1
-Subparagraph (SX 210.9-04.10)
-URI http://asc.fasb.org/extlink&oid=114873765&loc=SL114874048-224260

+ Details

Name:	us-gaap_InterestIncomeExpenseNet
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Generally recurring costs associated with normal operations except for the portion of these expenses which can be clearly related to production and included in cost of sales or services. Excludes Selling, General and Administrative Expense.

+ References

No definition available.

+ Details

Name:	us-gaap_OperatingCostsAndExpenses
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

The net result for the period of deducting operating expenses from operating revenues.

+ References

No definition available.

+ Details

Name:	us-gaap_OperatingIncomeLoss
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Amount of revenue recognized from goods sold, services rendered, insurance premiums, or other activities that constitute an earning process. Includes, but is not limited to, investment and interest income before deduction of interest expense when recognized as a component of revenue, and sales and trading gain (loss).

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=115929826&loc=d3e8736-108599

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 220
-SubTopic 10
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.1)
-URI http://asc.fasb.org/extlink&oid=115205541&loc=SL114868664-224227

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 32
-Subparagraph (a)
-URI http://asc.fasb.org/extlink&oid=115929826&loc=d3e8933-108599

Reference 4: http://www.xbrl.org/2003/role/disclosureRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 280
-SubTopic 10
-Section 50
-Paragraph 22
-Subparagraph (b)
-URI http://asc.fasb.org/extlink&oid=115929826&loc=d3e8736-108599

+ Details

Name:	us-gaap_Revenues
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

- Definition

Average number of shares or units issued and outstanding that are used in calculating basic and diluted earnings per share (EPS).

+ References

No definition available.

+ Details

Name:	us-gaap_WeightedAverageNumberOfShareOutstandingBasicAndDiluted
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

- References

No definition available.

+ Details

Name:	us-gaap_WeightedAverageNumberOfSharesOutstandingAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration